<?php
$developers = array(
	"Tom1"=>"#FF0000",
	"Tom2"=>"#00FF00",
	"Tom3"=>"#0000FF",
	"Tom4"=>"#FFFF00",
	"Tom5"=>"#00FFFF",
	"Tom6"=>"#FF00FF",
	"Tom7"=>"#CC0000",
	"Tom8"=>"#00CC00",
	"Tom9"=>"#0000CC",
	"Tom10"=>"#CCCC00",
	"Tom11"=>"#00CCCC",
	"Tom12"=>"#CC00CC",
	"Tom13"=>"#FFCC00",
	"Tom14"=>"#00FFCC",
);

$tijden = array(
    "1 uur",
    "2 uur",
    "4 uur",
    "8 uur",
    "16 uur",
    "32 uur",
);

